How should a machine intelligence perform unsupervised structure discovery over streams of sensory input? One approach to this problem is to cast it as an apperception task [1]. Here, the task is to construct an explicit interpretable theory that both explains the sensory sequence and also satisfies a set of unity conditions, designed to ensure that the constituents of the theory are connected in a relational structure. However, the original formulation of the apperception task had one fundamental limitation: it assumed (...) the raw sensory input had already been parsed using a set of discrete categories, so that all the system had to do was receive this already-digested symbolic input, and make sense of it. But what if we don't have access to pre-parsed input? What if our sensory sequence is raw unprocessed information? The central contribution of this paper is a neuro-symbolic framework for distilling interpretable theories out of streams of raw, unprocessed sensory experience. First, we extend the definition of the apperception task to include ambiguous (but still symbolic) input: sequences of sets of disjunctions. Next, we use a neural network to map raw sensory input to disjunctive input. Our binary neural network is encoded as a logic program, so the weights of the network and the rules of the theory can be solved jointly as a single SAT problem. This way, we are able to jointly learn how to perceive (mapping raw sensory information to concepts) and apperceive (combining concepts into declarative rules). (shrink)

D. Evans, Argumenty platońskie, transl. Zbigniew Nerczuk.

We propose a domain-level ontology of plays for the facilitation of play-based collaborative autonomy among unmanned and manned-unmanned aircraft teams in the Army’s Unmanned Aircraft System (UAS) mission domain. We define a play as a type of plan that prescribes some pattern of intentional acts that are intended to reliably result in some goal in some competitive context, and which specifies one or more roles that are realized by those prescribed intentional acts. The ontology is well suited to be extended (...) to other types of military and nonmilitary unmanned vehicle operations. (shrink)

This World Bank Report offers a new conception of fair decision processes in health financing. It argues that such procedural fairness can contribute to fairer outcomes, strengthen the legitimacy of decision processes, build trust in authorities, and promote the sustainability of reforms on the path to health coverage for all.

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) testing, and (4) data (...) exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

When the benefits of surgery do not outweigh the harms or where they do not clearly do so, surgical interventions become morally contested. Cutting to the Core examines a number of such surgeries, including infant male circumcision and cutting the genitals of female children, the separation of conjoined twins, surgical sex assignment of intersex children and the surgical re-assignment of transsexuals, limb and face transplantation, cosmetic surgery, and placebo surgery.

The purpose of this research is to articulate how a theory of causation might be serviceable to a theory of sport. This article makes conceptual links between Bernard Suits’ theory of game-playing, causation, and theories of causation. It justifies theories of causation while drawing on connections between sport and counterfactuals. It articulates the value of theories of causation while emphasizing possible limitations. A singularist theory of causation is found to be more broadly serviceable with particular regard to its analysis of (...) sports. (shrink)

This papers aims at clarifying some misunderstandings that seem to block an adequate account of de re thoughts within the Fregean framework. It is usually assumed that Fregean senses cannot be de re, or dependent upon objects. Contrary to this assumption, Gareth Evans and John McDowell have claimed that Fregean de re senses are not just possible, but in fact the most promising alternative for accounting for de re thoughts. The reasons blocking this alternative can be traced back to (...) Russellian considerations that contaminated the interpretation of Frege. This contaminated understanding is first detected in Tyler Burge’s distinction between de dicto and de re, then connected to the motivations behind David Kaplan’s notion of character, and finally found in John Searle’s descriptivist account. The difficulty in understanding de re thoughts is, roughly speaking, a side effect of the misunderstanding of the boundaries separating internal and external elements of thoughts, as well as the distinction between mental content and means of representation. (shrink)

The relative merits of standard mereology have received quite a bit of attention in recent years from metaphysicians concerned with the part/whole properties of material objects. A question that has not been pursued to the same degree, however, is what sort of semantic repercussions a commitment to mereological sums in the standard sense might have in particular on the predicted behavior of singular terms and our practices of using such terms to refer to objects. The apparent mismatch between our actual (...) referential practices and the persistence conditions attributed to material objects by the supporters of standard mereology puts these philosophers, other things being equal, at a disadvantage compared to those whose ontology matches more closely the observed behavior of singular terms, as they are commonly used in ordinary discourse. To alleviate this problem, David Lewis leans heavily on his distinction between natural and non-natural properties. I argue in this paper that Lewis’ already heavily burdened natural/non-natural distinction among properties is not enough to avoid Quinean indeterminacy for singular terms. Those who are in the business of giving an analysis of constructions involving full-fledged predication, as opposed to the mere spatial overlap of denotations, will thus want to go in for an ontology that places more stringent structural constraints on the referents of singular terms than would be supplied by standard mereology. (shrink)

Book synopsis: New work on a hot topic by an outstanding team of authors At the intersection of several central areas of philosophy It is the linguistic job of singular terms to pick out the objects that we think or talk about. But what about singular terms that seem to fail to designate anything, because the objects they refer to don't exist? We can employ these terms in meaningful thought and talk, which suggests that they are succeeding in fulfilling their (...) representational task. A team of leading experts presents new essays on the much-debated problem of empty reference and thought. In the 1960s and 1970s Keith Donnellan, David Kaplan, Saul Kripke and Hilary Putnam initiated a revolution in the then standard conception of reference—a concept at the core of philosophical inquiry. The repercussions of the revolution, particularly felt in metaphysics and epistemology, were soon refined by other influential writers such as Tyler Burge, Gareth Evans, and John Perry. They argued that some linguistic and mental representations have contents individuated by what they are about—by ordinary referents of expressions such as proper names, indexicals, definite descriptions and common nouns, i.e. by planets, people or natural kinds. The view was at odds with a central philosophical presumption at that time: that cognitive and linguistic access to objective reality is indirect and accidental, mediated by general descriptive characterizations, the only constitutive semantic feature of the expressions; hence its ontological and epistemological repercussions. A turning-point in the debate about how linguistic and mental representation reach external contents concerned the nature of empty mental and linguistic representations, framed by means of the very same expressions crucially invoked in the Donnellan-Kaplan-Kripke-Putnam arguments. The papers in this volume address different aspects of reference and thought about the non-existent. (shrink)

This paper argues that higher-order doubt generates an epistemic dilemma. One has a higher-order doubt with regards to P insofar as one justifiably withholds belief as to what attitude towards P is justified. That is, one justifiably withholds belief as to whether one is justified in believing, disbelieving, or withholding belief in P. Using the resources provided by Richard Feldman’s recent discussion of how to respect one’s evidence, I argue that if one has a higher-order doubt with regards to P, (...) then one is not justified in having any attitude towards P. Otherwise put: No attitude towards the doubted proposition respects one’s higher-order doubt. I argue that the most promising response to this problem is to hold that when one has a higher-order doubt about P, the best one can do to respect such a doubt is to simply have no attitude towards P. Higher-order doubt is thus much more rationally corrosive than non-higher-order doubt, as it undermines the possibility of justifiably having any attitude towards the doubted proposition. (shrink)

Inspired by Rudolf Carnap's Der Logische Aufbau Der Welt, David J. Chalmers argues that the world can be constructed from a few basic elements. He develops a scrutability thesis saying that all truths about the world can be derived from basic truths and ideal reasoning. This thesis leads to many philosophical consequences: a broadly Fregean approach to meaning, an internalist approach to the contents of thought, and a reply to W. V. Quine's arguments against the analytic and the a (...) priori. Chalmers also uses scrutability to analyze the unity of science, to defend a conceptual approach to metaphysics, and to mount a structuralist response to skepticism. Based on the 2010 John Locke lectures, Constructing the World opens up debate on central philosophical issues involving language, consciousness, knowledge, and reality. This major work by a leading philosopher will appeal to philosophers in all areas. This entry contains uncorrected proofs of front matter, chapter 1, and first excursus. (shrink)

The paper re-expresses arguments against the normative validity of expected utility theory in Robin Pope (1983, 1991a, 1991b, 1985, 1995, 2000, 2001, 2005, 2006, 2007). These concern the neglect of the evolving stages of knowledge ahead (stages of what the future will bring). Such evolution is fundamental to an experience of risk, yet not consistently incorporated even in axiomatised temporal versions of expected utility. Its neglect entails a disregard of emotional and financial effects on well-being before a particular risk is (...) resolved. These arguments are complemented with an analysis of the essential uniqueness property in the context of temporal and atemporal expected utility theory and a proof of the absence of a limit property natural in an axiomatised approach to temporal expected utility theory. Problems of the time structure of risk are investigated in a simple temporal framework restricted to a subclass of temporal lotteries in the sense of David Kreps and Evan Porteus (1978). This subclass is narrow but wide enough to discuss basic issues. It will be shown that there are serious objections against the modification of expected utility theory axiomatised by Kreps and Porteus (1978, 1979). By contrast the umbrella theory proffered by Pope that she has now termed SKAT, the Stages of Knowledge Ahead Theory, offers an epistemically consistent framework within which to construct particular models to deal with particular decision situations. A model by Caplin and Leahy (2001) will also be discussed and contrasted with the modelling within SKAT (Pope, Leopold and Leitner 2007). (shrink)

This is a forthcoming section for the book "Theism and Atheism: Opposing Arguments in Philosophy", edited by Graham Oppy, Gregory Dawes, Evan Fales, Joseph Koterski, Mashhad Al-Allaf, Robert Fastiggi, and David Shatz. I was asked to write a brief essay on divine hiddenness and divine inscrutability. I argue that theism is trapped between two opposite poles. On one end, we encounter an argument developed by John Schellenberg. God is understood as a being who, in virtue of God's perfect love, (...) would have relationship with any of Her creatures who are open to loving relationship with God. If so, we would not expect there to exist non-resistant non-believers. Yet there are non-resistant non-believers. So, this sort of God does not exist. On the other pole, God is completely incomprehensible. But if God is incomprehensible, then this leads to a series of theological problems. For example, if God is incomprehensible, then it is difficult to understand how any human could rationally endorse God's existence. I argue that both poles are problematic for the theist and that it is difficult to see how to construct a road through the middle that would not inherit the problems of either pole. (shrink)

The aim of this study is to justify the belief that there are biological normative mechanisms that fulfill non-trivial causal roles in the explanations (as formulated by researchers) of actions and behaviors present in specific systems. One example of such mechanisms is the predictive mechanisms described and explained by predictive processing (hereinafter PP), which (1) guide actions and (2) shape causal transitions between states that have specific content and fulfillment conditions (e.g. mental states). Therefore, I am guided by a specific (...) theoretical goal associated with the need to indicate those conditions that should be met by the non-trivial theory of normative mechanisms and the specific models proposed by PP supporters. In this work, I use classical philosophical methods, such as conceptual analysis and critical reflection. I also analyze selected studies in the field of cognitive science, cognitive psychology, neurology, information theory and biology in terms of the methodology, argumentation and language used, in accordance with their theoretical importance for the issues discussed in this study. In this sense, the research presented here is interdisciplinary. My research framework is informed by the mechanistic model of explanation, which defines the necessary and sufficient conditions for explaining a given phenomenon. The research methods I chose are therefore related to the problems that I intend to solve. In the introductory chapter, “The concept of predictive processing”, I discuss the nature of PP as well as its main assumptions and theses. I also highlight the key concepts and distinctions for this research framework. Many authors argue that PP is a contemporary version of Kantianism and is exposed to objections similar to those made against the approach of Immanuel Kant. I discuss this thesis and show that it is only in a very general sense that the PP framework is neo-Kantian. Here we are not dealing with transcendental deduction nor with the application of transcendental arguments. I argue that PP is based on reverse engineering and abduction inferences. In the second part of this chapter, I respond to the objection formulated by Dan Zahavi, who directly accuses this research framework of anti-realistic consequences. I demonstrate that the position of internalism, present in the so-called conservative PP, does not imply anti-realism, and that, due to the explanatory role played in it by structural representations directed at real patterns, it is justified to claim that PP is realistic. In this way, I show that PP is a non-trivial research framework, having its subject, specific methods and its own epistemic status. Finally, I discuss positions classified as the socalled radical PP. In the chapter “Predictive processing as a Bayesian explanatory model” I justify the thesis according to which PP offers Bayesian modeling. Many researchers claim that the brain is an implemented statistical probabilistic network that is an approximation of the Bayesian 7 rule. In practice, this means that all cognitive processes are to apply Bayes' rule and can be described in terms of probability distributions. Such a solution arouses objections among many researchers and is the subject of wide criticism. The purpose of this chapter is to justify the thesis that Bayesian PP is a non-trivial research framework. For this purpose, I argue that it explains certain phenomena not only at the computational level described by David Marr, but also at the level of algorithms and implementation. Later in this chapter I demonstrate that PP is normative modeling. Proponents of the use of Bayesian models in psychology or decision theory argue that they are normative because they allow the formulation of formal rules of action that show what needs to be done to make a given action optimal. Critics of this approach emphasize that such thinking about the normativity of Bayesian modeling is unjustified and that science should shift from prescriptive to descriptive positions. In a polemic with Shira Elqayam and Jonathan Evans (2011), I show that the division they propose into prescriptivism and Bayesian descriptivism is apparent, because, as I argue, there are two forms of prescriptivism, i.e. the weak and the strong. I argue that the weak version is epistemic and can lead to anti-realism, while the strong version is ontic and allows one to justify realism in relation to Bayesian models. I argue that a weak version of prescriptivism is valid for PP. It allows us to adopt anti-realism in relation to PP. In practice, this means that you can explain phenomena using Bayes' rule. This does not, however, imply that they are Bayesian in nature. However, the full justification of realism in relation to the Bayesian PP presupposes the adoption of strong prescriptivism. This position assumes that phenomena are explained by Bayesian rule because they are Bayesian as such. If they are Bayesian in nature, then they should be explained using Bayesian modeling. This thesis will be substantiated in the chapters “Normative functions and mechanisms in the context of predictive processing” and “Normative mechanisms and actions in predictive processing”. In the chapter “The Free Energy Principle in predictive processing”, I discuss the Free Energy Principle (hereinafter FEP) formulated by Karl Friston and some of its implications. According to this principle, all biological systems (defined in terms of Markov blankets) minimize the free energy of their internal states in order to maintain homeostasis. Some researchers believe that PP is a special case of applying this principle to cognition, and that predictive mechanisms are homeostatic mechanisms that minimize free energy. The discussion of FEP is important due to the fact that some authors consider it to be important for explanatory purposes and normative. If this is the case, then FEP turns out to be crucial in explaining normative predictive mechanisms and, in general, any normative biological mechanisms. To define the explanatory possibilities of this principle, I refer to the discussion of its supporters on the issue they define as the problem of continuity and discontinuity between life and mind. A critical analysis of this discussion and the additional arguments I have formulated have allowed me to revise the explanatory ambitions of FEP. I also reject the belief that this principle is necessary to explain the nature of predictive mechanisms. I argue that the principle formulated and defended by Friston is an important research heuristic for PP analysis. 8 In the chapter “Normative functions and mechanisms in predictive processing”, I start my analyzes by formulating an answer to the question about the normative nature of homeostatic mechanisms. I demonstrate that predictive mechanisms are not homeostatic. I defend the view that a full explanation of normative mechanisms presupposes an explanation of normative functions. I discuss the most important proposals for understanding the normativity of a function, both from a systemic and teleosemantic perspective. I conclude that the non-trivial concept of a function must meet two requirements which I define as explanatory and normative. I show that none of the theories I have invoked satisfactorily meets both of these requirements. Instead, I propose a model of normativity based on Bickhard's account, but supplemented by a mechanistic perspective. I argue that a function is normative when: (1) it allows one to explain the dysfunction of a given mechanism; (2) it contributes to the maintenance of the organism's stability by shaping and limiting possible relations, processes and behaviors of a given system; and when (3) (according to the representational and predictive functions) it enables explaining the attribution of logical values of certain representations / predictions. In such an approach, a mechanism is normative when it performs certain normative functions and when it is constitutive for a specific action or behavior, despite the fact that for some reason it cannot realize it either currently or in the long-term. Such an understanding of the normativity of mechanisms presupposes the acceptance of the epistemic hypothesis. I argue that this hypothesis is not cognitively satisfactory, and therefore the ontic hypothesis should be justified, which is directly related to adopting the position of ontic prescriptivism. For this reason, referring to the mechanistic theory of scientific explanations, I formulate an ontical interpretation of the concept of a normative mechanism. According to this approach, a mechanism or a function is normative when they perform such and such causal roles in explaining certain actions and behaviors. With regard to the normative properties of predictive mechanisms and functions, this means that they are the causes of specific actions an organism carries out in the environment. In this way, I justify the necessity of accepting the ontic hypothesis and rejecting the epistemic hypothesis. The fifth chapter, “Normative mechanisms and actions in predictive processing”, is devoted to the dark room problem and the related exploration-exploitation trade-off. A dark room is the state that an agent could be in if it minimized the sum of all potential prediction errors. I demonstrate that, in accordance with the basic assumption of PP about the need for continuous and long-term minimization of prediction errors, such a state should be desirable for the agent. Is it really so? Many authors believe it is not. I argue that the test of the value of PP is the possibility of a non-trivial solution of this problem, which can be reduced to the choice between active and uncertainty-increasing exploration and safe and easily predictable exploitation. I show that the solution proposed by PP supporters present in the literature does not enable a fully satisfactory explanation of this dilemma. Then I defend the position according to which the full explanation of the normative mechanisms, and, subsequently, the solution to the dilemma of exploration and exploitation, involves reference to the existence of constraints present in the environment. The constraints 9 include elements of the environment that make a given mechanism not only causal but also normative. They are therefore key to explaining the predictive mechanisms. They do not only play the role of the context in which the mechanism is implemented, but, above all, are its constitutive component. I argue that the full explanation of the role of constraints in normative predictive mechanisms presupposes the integration of individual models of specific cognitive phenomena, because only the mechanistic integration of PP with other models allows for a non-trivial explanation of the nature of normative predictive mechanisms that would have a strong explanatory value. The explanatory monism present in many approaches to PP makes it impossible to solve the problem of the dark room. Later in this chapter, I argue that the Bayesian PP is normative not because it enables the formulation of such and such rules of action, but because the predictive mechanisms themselves are normative. They are normative because they condition the choice of such and such actions by agents. In this way, I justify the hypothesis that normative mechanisms make it possible to explain the phenomenon of agent motivation, which is crucial for solving the dark room problem. In the last part of the chapter, I formulate the hypothesis of distributed normativity, which assumes that the normative nature of certain mechanisms, functions or objects is determined by the relations into which these mechanisms, functions or objects enter. This means that what is normative (in the primary sense) is the relational structure that constitutes the normativity of specific items included in it. I suggest that this hypothesis opens up many areas of research and makes it possible to rethink many problems. In the “Conclusion”, I summarize the results of my research and indicate further research perspectives. (shrink)

This is a forthcoming section for the book "Theism and Atheism: Opposing Arguments in Philosophy", edited by Graham Oppy, Gregory Dawes, Evan Fales, Joseph Koterski, Mashhad Al-Allaf, Robert Fastiggi, and David Shatz. I was asked to write a brief essay on whether naturalism or theism can successfully explain the distribution of suffering in our world. Wheras another section covers the possibility that suffering is evidence against theism, my essay is concerned only with the ability for either naturalism or theism (...) to explain suffering. I argue that, for naturalists, suffering is not to be explained by either philosophers of religion or theologians. Instead, naturalists believe that suffering should be explained by the cognitive and social sciences, perhaps in conjunction with political philosophy and philosophy of mind. Moreover, naturalists may take suffering to be an important reason for action. In a world without a transcendent, supernatural being to watch over us, we can only depend upon each other to ameliorate existing conditions, to the extent that they can be ameliorated. On the other hand, theistic explanations of the distibution of suffering slip very easily into problematic theologies when they try to offer explicit explanations for suffering. For example, the world's most vulnerable people are often those who suffer the most, whereas oppressors are often able to prosper. That is, theistic explanations of our world's suffering easily slip into, e.g., the just world fallacy, racist ideology (i.e., that God favors some race(s) of people over others), or patriarchal ideology. Instead of offering an explicit explanation, theists should instead be skeptical theists -- i.e., they should argue that an explanation for our world's suffering is beyond our ken. While skeptical theism avoids the aforementioned problematic implications, if skeptical theism is true, then our world's suffering cannot be fully explained. (shrink)

A number of philosophers endorse, without argument, the view that there’s something it’s like consciously to think that p, which is distinct from what it’s like consciously to think that q. This thesis, if true, would have important consequences for philosophy of mind and cognitive science. In this paper I offer an argument for it, and attempt to induce examples of it in the reader. The argument claims it would be impossible introspectively to distinguish conscious thoughts with respect to their (...) content if there weren’t something it’s like to think them. This argument is defended against several objections. Then I use what I call “minimal pair” experiences—sentences read without and with understanding—to induce in the reader an experience of the kind I claim exists. Further objections are considered and rebutted. (shrink)

Virtual environments engage millions of people and billions of dollars each year. What is the ontological status of the virtual objects that populate those environments? An adequate answer to that question requires a developed semantics for virtual environments. The truth-conditions must be identified for “tree”-sentences when uttered by speakers immersed in a virtual environment (VE). It will be argued that statements about virtual objects have truth-conditions roughly comparable to the verificationist conditions popular amongst some contemporary antirealists. This does not mean (...) that the virtual objects lack ontological standing. There is an important sense in which virtual objects are no less real for being mind-dependent. (shrink)

We present data and argument to show that in Tetris - a real-time interactive video game - certain cognitive and perceptual problems are more quickly, easily, and reliably solved by performing actions in the world rather than by performing computational actions in the head alone. We have found that some translations and rotations are best understood as using the world to improve cognition. These actions are not used to implement a plan, or to implement a reaction; they are used to (...) change the world in order to simplify the problem-solving task. Thus, we distinguish pragmatic actions ñ actions performed to bring one physically closer to a goal - from epistemic actions - actions performed to uncover information that is hidden or hard to compute mentally. To illustrate the need for epistemic actions, we first develop a standard information-processing model of Tetris-cognition, and show that it cannot explain performance data from human players of the game - even when we relax the assumption of fully sequential processing. Standard models disregard many actions taken by players because they appear unmotivated or superfluous. However, we describe many such actions that are actually taken by players that are far from superfluous, and that play valuable roles in improving human performance. We argue that traditional accounts are limited because they regard action as having a single function: to change the world. By recognizing a second function of action - an epistemic function - we can explain many of the actions that a traditional model cannot. Although, our argument is supported by numerous examples specifically from Tetris, we outline how the one category of epistemic action can be incorporated into theories of action more generally. (shrink)

The eponymous dialogue presents the sophist as a figure who defies definition, and those difficulties are attributed to the conception of the image. Ultimately, the sophist is defined as a species of image maker. The image, however, which is important throughout the Platonic corpus as a metaphor, an analogy, and a metaphysical concept as well, receives in the Sophist little clarification or definition apart from whatever may be inferred from the division of image making arts. In the Sophist, the sophist (...) escapes definition as in no other dialogue, rendering even the concluding division one that makes the distinction of the sophist from the philosopher problematic, if not impossible. The paper explores how the dialogue problematizes and rethinks the metaphysics of the image, as compared to its use in dialogues such as the Phaedo and the Republic, pointing to a refinement in understanding the relation of judgment to knowledge and appearance to reality. (shrink)

We are quickly passing through the historical moment when people work in front of a single computer, dominated by a small CRT and focused on tasks involving only local information. Networked computers are becoming ubiquitous and are playing increasingly significant roles in our lives and in the basic infrastructure of science, business, and social interaction. For human-computer interaction o advance in the new millennium we need to better understand the emerging dynamic of interaction in which the focus task is no (...) longer confined to the desktop but reaches into a complex networked world of information and computer-mediated interactions. We think the theory of distributed cognition has a special role to play in understanding interactions between people and technologies, for its focus has always been on whole environments: what we really do in them and how we coordinate our activity in them. Distributed cognition provides a radical reorientation of how to think about designing and supporting human-computer interaction. As a theory it is specifically tailored to understanding interactions among people and technologies. In this article we propose distributed cognition as a new foundation for human-computer interaction, sketch an integrated research framework, and use selections from our earlier work to suggest how this framework can provide new opportunities in the design of digital work materials. (shrink)

The objective of this essay is to provide the beginning of a principled classification of some of the ways space is intelligently used. Studies of planning have typically focused on the temporal ordering of action, leaving as unaddressed questions of where to lay down instruments, ingredients, work-in-progress, and the like. But, in having a body, we are spatially located creatures: we must always be facing some direction, have only certain objects in view, be within reach of certain others. How we (...) manage the spatial arrangement of items around us is not an afterthought: it is an integral part of the way we think, plan, and behave. The proposed classification has three main categories: spatial arrangements that simplify choice; spatial arrangements that simplify perception; and spatial dynamics that simplify internal computation. The data for such a classification is drawn from videos of cooking, assembly and packing, everyday observations in supermarkets, workshops and playrooms, and experimental studies of subjects playing Tetris, the computer game. This study, therefore, focuses on interactive processes in the medium and short term: on how agents set up their workplace for particular tasks, and how they continuously manage that workplace. (shrink)

It is argued that the analysis by which the gene are differentiated in the dialogue is an exercise in studied ambiguities informed by an Eleatic logic of strict dichotomy that was the underpinning of the Sophist's method of division. By this dialectical drill, Plato shows that the metaphysics underlying the Visitor's method fails to adequately distinguish what it means to have a character from what it means to be a character, and therefore remains inadequate to track down the sophist or (...) to distinguish him from the philosopher: Eleaticism, as critically examined by Plato, proves to be means to disguise, not to discover the sophist. (shrink)

We often get evidence concerning the reliability of our own thinking about some particular matter. This “higher-order evidence” can come from the disagreement of others, or from information about our being subject to the effects of drugs, fatigue, emotional ties, implicit biases, etc. This paper examines some pros and cons of two fairly general models for accommodating higher-order evidence. The one that currently seems most promising also turns out to have the consequence that epistemic akrasia should occur more frequently than (...) is sometimes supposed. But it also helps us see why this might not be a bad thing. (shrink)

There is a dogma about metaphysical realism that is well nigh universal: "If one is a metaphysical realist about the external world, then one ought to be a semantic realist about external- world statements". I argue that this dogma should be rejected. It is possible for a metaphysical realist to be a "semantic dualist", holding that some middle- sized object statements receive a realist interpretation, but that most such statements require an antirealist interpretation. To show that a semantically dual language (...) is at least possible, I describe a possible world whose inhabitants speak a version of English that is syntactically dual. Further I argue that English in the "actual world" is itself semantically dual. (shrink)

This book introduces readers to the topic of explanation. The insights of Plato, Aristotle, J.S. Mill and Carl Hempel are examined, and are used to argue against the view that explanation is merely a problem for the philosophy of science. Having established its importance for understanding knowledge in general, the book concludes with a bold and original explanation of explanation.

A curious and comparatively neglected element of death penalty jurisprudence in America is my target in this paper. That element concerns the circumstances under which severely mentally disabled persons, incarcerated on death row, may have their sentences carried out. Those circumstances are expressed in a part of the law which turns out to be indefensible. This legal doctrine—competence-for-execution —holds that a condemned, death-row inmate may not be killed if, at the time of his scheduled execution, he lacks an awareness of (...) his impending death or the reasons for it. I argue that the law of CFE should be abandoned, along with the notion that it is permissible to kill the deeply disturbed just so long as they meet some narrow test of readiness to die. By adopting CFE, the courts have been forced to give independent conceptual and moral significance to a standard for competence that simply cannot bear the weight placed upon it. To be executable, CFE requires that a condemned prisoner meet a standard demonstrating an awareness of certain facts about his death. Yet this standard both leads to confusing and counter-intuitive results and is unsupported either by the reasons advanced by the courts on its behalf or by any of the standard theoretical justifications of criminal punishment. If executing the profoundly psychotic or delusional is wrong the law needs a better account of the wrong done when prisoners like Ford are killed. I suggest wherein that wrong might be located. (shrink)

This chapter discusses the Ganser syndrome and gives a brief account on its clinical features. A significant number of clinicians in Europe continued accepting Ganser's basic postulates that the patients showed significant memory disorder and 'answers towards the question' within the framework of traumatic or reactive hysteria. In elderly patients, Ganser type symptoms may be indicative of the onset of dementia. Ganser syndrome raises the question of the interaction between concepts, ideology and clinical observation. The clinician must be aware that (...) a misdiagnosed case of Ganser-type hysteria may result in lawsuits, unnecessary surgical interventions, inappropriate use of minor and major tranquillizers, and social consequences that may be destabilizing for the patient and family. Positive results in the organic investigation should lead to a firm diagnosis and disconfirmation of Ganser syndrome. Persistent negative results and dramatic improvement should tend to confirm the diagnosis. (shrink)

Why do people create extra representations to help them make sense of situations, diagrams, illustrations, instructions and problems? The obvious explanation— external representations save internal memory and com- putation—is only part of the story. I discuss seven ways external representations enhance cognitive power: they change the cost structure of the inferential landscape; they provide a structure that can serve as a shareable object of thought; they create persistent referents; they facilitate re- representation; they are often a more natural representation of (...) structure than mental representations; they facilitate the computation of more explicit encoding of information; they enable the construction of arbitrarily complex structure; and they lower the cost of controlling thought—they help coordinate thought. Jointly, these functions allow people to think more powerfully with external representations than without. They allow us to think the previously unthinkable. (shrink)

Some analytic philosophers have recently been defending the thesis that there’s “something it’s like” to consciously think a particular thought, which is qualitatively different from what it’s like to be in any other kind of conscious mental state and from what it’s like to think any other thought, and which constitutes the thought’s intentional content. (I call this the “intentional phenomenology thesis”). One objection to this thesis concerns the introspective availability of such content: If it is true that intentional phenomenology (...) is constitutive of intentional content, and that conscious phenomenology is always introspectively available, then it ought to be true that the content of any concept consciously entertained is always introspectively available. But it is not. For example, one can know introspectively that one is thinking that one knows that p without knowing introspectively what the content of the concept of knowledge is. Hence, it cannot be that intentional content is constituted by cognitive phenomenology. -/- I explore three responses to this objection. First, it is not clear that all of the contents of consciousness must be equally available to introspection. The capacities for conscious experience and introspective attention to it are distinct. It is not implausible that the resolving power of the latter might be insufficient to discern all of the fine-grained details of the former, or that its scope might be limited. Second, it is possible that in cases of incomplete accessibility one is entertaining only part of the concept the relevant term expresses in one’s language. In the knowledge case, for example, perhaps one is thinking only that one has justified true belief that p (one’s self-attribution of a thought about knowledge is in fact false). Finally, in such cases one might be consciously entertaining only part of the relevant concept, the rest remaining unconscious, and so unavailable to conscious introspection. I conclude that the objection is not decisive against the intentional phenomenology thesis. (shrink)

This is a corrected version of the final proofs. I've fixed a number of typos, and corrected a blunder in chapter 4. In chapter 4 I say that 'this is this' is analytic, and 'this is not this' is antonymous. This is inconsistent with what I say in chapter 5, and not what I actually think. Rather, 'this is this' is taugologous, and 'this is not this' is contradictory. Analyticity and autnonmy are sense properties while tautologousness and contradictoriness are formal (...) logical properties. Heading, ToC and Index updated accordingly. (Oxford will make these corrections in their online version and in future print runs.). (shrink)

Some philosophers have recently suggested that the reason mathematics is useful in science is that it expands our expressive capacities. Of these philosophers, only Stephen Yablo has put forward a detailed account of how mathematics brings this advantage. In this article, I set out Yablo’s view and argue that it is implausible. Then, I introduce a simpler account and show it is a serious rival to Yablo’s. 1 Introduction2 Yablo’s Expressionism3 Psychological Objections to Yablo’s Expressionism4 Introducing Belief Expressionism5 Objections and (...) Replies5.1 Yablo’s likely response5.2 Charity6 Conclusion. (shrink)

The aim of this article is to argue that ontological choices in scientific practice undermine common formulations of the value-free ideal in science. First, I argue that the truth values of scientific statements depend on ontological choices. For example, statements about entities such as species, race, memory, intelligence, depression, or obesity are true or false relative to the choice of a biological, psychological, or medical ontology. Second, I show that ontological choices often depend on non-epistemic values. On the basis of (...) these premises, I argue that it is often neither possible nor desirable to evaluate scientific statements independently of non-epistemic values. Finally, I suggest that considerations of ontological choices do not only challenge the value-free ideal but also help to specify positive roles of non-epistemic values in an often neglected area of scientific practice. (shrink)

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

The theory of embodied cognition can provide HCI practitioners and theorists with new ideas about interac-tion and new principles for better designs. I support this claim with four ideas about cognition: (1) interacting with tools changes the way we think and perceive – tools, when manipulated, are soon absorbed into the body schema, and this absorption leads to fundamental changes in the way we perceive and conceive of our environments; (2) we think with our bodies not just with our brains; (...) (3) we know more by doing than by seeing – there are times when physically performing an activity is better than watching someone else perform the activity, even though our motor resonance system fires strongly during other person observa-tion; (4) there are times when we literally think with things. These four ideas have major implications for interaction design, especially the design of tangible, physical, context aware, and telepresence systems. (shrink)

In the past few years, a number of philosophers ; Horgan and Tienson 2002; Pitt 2004) have maintained the following three theses: there is a distinctive sort of phenomenology characteristic of conscious thought, as opposed to other sorts of conscious mental states; different conscious thoughts have different phenomenologies; and thoughts with the same phenomenology have the same intentional content. The last of these three claims is open to at least two different interpretations. It might mean that the phenomenology of a (...) thought expresses its intentional content, where intentional content is understood as propositional, and propositions are understood as mind-and language-independent abstract entities. And it might mean that the phenomenology of a thought is its intentional content—that is, that the phenomenology of a thought, like the phenomenology of a sensation, constitutes its content. The second sort of view is a kind of psychologism. Psychologistic views hold that one or another sort of thing—numbers, sentences, propositions, etc.—that we can think or know about is in fact a kind of mental thing. Since Frege, psychologism has been in bad repute among analytic philosophers. It is widely held that Frege showed that such views are untenable, since, among other things, they subjectivize what is in fact objective, and, hence, relativize such things as consistency and truth to the peculiarities of human psychology. The purpose of this paper is to explore the consequences of the thesis that intentional mental content is phenomenological and to try to reach a conclusion about whether it yields a tenable view of mind, thought and meaning. I believe the thesis is not so obviously wrong as it will strike many philosophers of mind and language. In fact, it can be defended against the standard objections to psychologism, and it can provide the basis for a novel and interesting account of mentality. (shrink)

Xenophobia is conceptually distinct from racism. Xenophobia is also distinct from nativism. Furthermore, theories of racism are largely ensconced in nationalized narratives of racism, often influenced by the black-white binary, which obscures xenophobia and shelters it from normative critiques. This paper addresses these claims, arguing for the first and last, and outlining the second. Just as philosophers have recently analyzed the concept of racism, clarifying it and pinpointing why it’s immoral and the extent of its moral harm, so we will (...) analyze xenophobia and offer a pluralist account of xenophobia, with important implications for racism. This analysis is guided by the discussion of racism in recent moral philosophy, social ontology, and research in the psychology of racism and implicit attitudes. (shrink)

Ethnobiology has a long tradition of metaphysical debates about the “naturalness,” “objectivity”, “reality”, and “universality” of classifications. Especially the work of Brent Berlin has been influential in developing a “convergence metaphysics” that explains cross-cultural similarities of knowledge systems through shared recognition of objective discontinuities in nature. Despite its influence on the development of the field, convergence metaphysics has largely fallen out of favor as contemporary ethnobiologists tend to emphasize the locality and diversity of classificatory practices. The aim of this article (...) is twofold: First, I provide a historical account of the rise and fall of convergence metaphysics in ethnobiology. I show how convergence metaphysics emerged as an innovative theoretical program in the wake of the “cognitive revolution” and the “modern evolutionary synthesis” but failed to incorporate both theoretical insights and political concerns that gained prominence in the 1980s and 1990s. Second, I develop a positive proposal of how to engage with metaphysical issues in ethnobiology. By integrating traditional research on convergence of classifications with more nuanced accounts of distinctly local categories, a revamped metaphysics of ethnobiological classification can make substantial contributions to debates about ontological difference in anthropology and about the relation between applied and theoretical ethnobiology. (shrink)

This is a story about three of my favorite philosophers—Donnellan, Russell, and Frege—about how Donnellan’s concept of having in mind relates to ideas of the others, and especially about an aspect of Donnellan’s concept that has been insufficiently discussed: how this epistemic state can be transmitted from one person to another.

In this paper, we present three necessary conditions for morally responsible animal research that we believe people on both sides of this debate can accept. Specifically, we argue that, even if human beings have higher moral status than nonhuman animals, animal research is morally permissible only if it satisfies (a) an expectation of sufficient net benefit, (b) a worthwhile-life condition, and (c) a no unnecessary-harm/qualified-basic-needs condition. We then claim that, whether or not these necessary conditions are jointly sufficient conditions of (...) justified animal research, they are relatively demanding with the consequence that many animal experiments may fail to satisfy them. (shrink)

The authors argue against direction of fit accounts of the distinction between belief and desire.

This paper discusses the significance of non-causal dependence for truthmaker theory. After introducing truthmaker theory (section 1), I discuss a challenge to it levelled by Benjamin Schnieder. I argue that Schnieder’s challenge can be met once we acknowledge the existence of non-causal dependence and of explanations which rely on it (sections 2 to 5). I then mount my own argument against truthmaker theory, based on the notion of non-causal dependence (sections 6 and 7).

To explore the question of physical thinking – using the body as an instrument of cognition – we collected extensive video and interview data on the creative process of a noted choreographer and his company as they made a new dance. A striking case of physical thinking is found in the phenomenon of marking. Marking refers to dancing a phrase in a less than complete manner. Dancers mark to save energy. But they also mark to explore the tempo of a (...) phrase, or its movement sequence, or the intention behind it. Because of its representational nature, marking can serve as a vehicle for thought. Importantly, this vehicle is less complex than the version of the same phrase danced ‘full-out’. After providing evidence for distinguishing different types of marking, three ways of understanding marking as a form of thought are considered: marking as a gestural language for encoding aspects of a target movement, marking as a method of priming neural systems involved in the target movement, and marking as a method for improving the precision of mentally projecting aspects of the target. (shrink)

Platonism in the philosophy of mathematics is the doctrine that there are mathematical objects such as numbers. John Burgess and Gideon Rosen have argued that that there is no good epistemological argument against platonism. They propose a dilemma, claiming that epistemological arguments against platonism either rely on a dubious epistemology, or resemble a dubious sceptical argument concerning perceptual knowledge. Against Burgess and Rosen, I show that an epistemological anti- platonist argument proposed by Hartry Field avoids both horns of their dilemma.

This paper examines some of the methods animals and humans have of adapting their environment. Because there are limits on how many different tasks a creature can be designed to do well in, creatures with the capacity to redesign their environments have an adaptive advantage over those who can only passively adapt to existing environmental structures. To clarify environmental redesign I rely on the formal notion of a task environment as a directed graph where the nodes are states and the (...) links are actions. One natural form of redesign is to change the topology of this graph structure so as to increase the likelihood of task success or to reduce its expected cost, measured in physical terms. This may be done by eliminating initial states hence eliminating choice points; by changing the action repertoire; by changing the consequence function; and lastly, by adding choice points. Another major method for adapting the environment is to change its cognitive congeniality. Such changes leave the state space formally intact but reduce the number and cost of mental operations needed for task success; they reliably increase the speed, accuracy or robustness of performance. The last section of the paper describes several of these epistemic or complementary actions found in human performance. (shrink)

I defend Joseph Melia’s nominalist account of mathematics from an objection raised by Mark Colyvan.